(
    i : a #
    wherew implementsI
    e
)